⚖️ RISC-V Formal

ISA Verification, Instruction Semantics, Hardware Proofs, Architecture Validation

LASA: Enhancing SoC Security Verification with LLM-Aided Property Generation
arxiv.org·1d
🔍FPGA Verification
Running shadow system tests in RISC-V
ikerexxe.github.io·7h
👑RISC-V Privilege
PicoEMP: low-cost Electromagnetic Fault Injection (EMFI) tool
github.com·11h·
Discuss: Hacker News
⚡Circuit Archaeology
ICSA Colloquium Talk - 10/07/2025
informatics.ed.ac.uk·3h
🧲RISC-V Archaeology
In the Wild: Malware Prototype with Embedded Prompt Injection
research.checkpoint.com·2h
🦠Malware Analysis
About to Take the Plunge - Any Final Words of Advice?
bargainhardware.co.uk·32m·
Discuss: r/homelab
🔒Hardware Attestation
How to Compile a Large Language Model (LLM) to RISC-V
siliscale.com·3d·
Discuss: Hacker News
🧩RISC-V Assembly
Why Binary Won and Nothing Else Even Got Close
b0a04gl.site·18h·
Discuss: Hacker News
🧲RISC-V Archaeology
🧠 My First Rosetta Stone: When OrKa Proved AI Can Think Structurally
dev.to·7h·
Discuss: DEV
⚡Proof Automation
Shane Kennedy - Software Engineer
shaneikennedy.xyz·1d
🦀Rust Macros
Fixes for five Lix CVEs
lix.systems·22h·
Discuss: Lobsters
❄️Nix Adoption
Accelerating hardware development to improve national security and innovation
news.mit.edu·10h
🖥️Modern Terminals
Program Execution, follow-up
windowsir.blogspot.com·1h·
Discuss: www.blogger.com
⚡Performance Tools
Threaded Code
muforth.dev·3h·
Discuss: Hacker News
🦀Rust Macros
LLM-Aided Testbench Generation and Bug Detection for Finite-State Machines
arxiv.org·1d
🔧Hardware Verification
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.com·14h
🧮Prolog Parsing
Design high-confidence computers using trusted instructional set architecture and emulators
arxiv.org·1d
🧪Hardware Fuzzing
How to (Almost) solve cybersecurity once and for all
adaptive.live·17h·
Discuss: Hacker News
🔐Systems Hardening
My first experience with Formal Methods | ZipCPU
zipcpu.com·6d
🔧Hardware Verification
Shrinking the Generation-Verification Gap with Weak Verifiers
arxiv.org·1d
🧪CBOR Fuzzing